Minimal Semantics for Action Speci cations in First order Dynamic Logic

In this paper we investigate minimal semantics for First Order Dynamic Logic formulas The goal is to be able to write action speci cations in a declarative pre post condition style The declarative speci cation of actions comes with some well known problems the frame problem the quali cation problem and the ram i cation problem We incorporate the assumptions that are inherent to both the frame and quali cation problem into the semantics of Dynamic Logic by de ning orderings over Dynamic Logic models These orderings allow us to identify for each declarative Dynamic Logic action speci cation a unique intended model This unique model represents the system that must be associated with the speci cation given the prefential semantics that is de ned by the orderings